Effective Étale - Descent Morphisms in M - Ordered Sets Pier Giorgio
نویسنده
چکیده
Following the results obtained in Preord and in Cat, we characterize the effective étale-descent morphisms inM -Ord, the category ofM -ordered sets for a given monoid M . Furthermore we show that in M -Ord every effective descent morphism is effective for étale-descent (while the converse is false), and we generalize it to a more general context of relational algebras.
منابع مشابه
Covering Morphisms in Categories of Relational Algebras
In this paper we use Janelidze’s approach to the classical theory of topological coverings via categorical Galois theory to study coverings in categories of relational algebras. Moreover, we present characterizations of effective descent morphisms in the categories of M ordered sets and of multi-ordered sets.
متن کاملOn descent for coalgebras and type transformations
We find a criterion for a morphism of coalgebras over a Barr-exact category to be effective descent and determine (effective) descent morphisms for coalgebras over toposes in some cases. Also, we study some exactness properties of endofunctors of arbitrary categories in connection with natural transformations between them as well as those of functors that these transformations induce between co...
متن کاملSome Stability Properties of Epimorphism Classes
It is proved that in any pointed category with pullbacks, coequalizers and regular epi-mono factorizations, the class of regular epimorphisms is stable under pullback along the so-called balanced effective descent morphisms. Here “balanced” can be omitted if the category is additive. A balanced effective descent morphism is defined as an effective descent morphism p : E → B such that any subobj...
متن کاملDescent for Priestley Spaces
A characterization of descent morphism in the category of Priestley spaces, as well as necessary and sufficient conditions for such morphisms to be effective are given. For that we embed this category in suitable categories of preordered topological spaces were descent and effective morphisms are described using the monadic description of descent.
متن کاملEffective Descent Morphisms in Categories of Lax Algebras
In this paper we investigate effective descent morphisms in categories of reflexive and transitive lax algebras. We show in particular that open and proper maps are effective descent, result that extends the corresponding results for the category of topological spaces and continuous maps. Introduction A morphism p : E → B in a category C with pullbacks is called effective descent if it allows a...
متن کامل